Development an Elevator Emergency Call Transmission System

Verification of an Elevator System with MOCHA

Unlike many other existing model checkers, MOCHA is designed for the modular verification of heterogeneous systems. Instead of manipulating unstructured state‐transition graphs, it supports the hierarchical modeling framework of Reactive Modules. It overcomes the state‐explosion problem by exploiting the modular structure naturally present in many system designs. Instead of traditional te...

Eleview: An Active Elevator Monitoring Vision System. ,

This paper describes an on-going novel vision application to detect abnormal activities in an elevator. Dgference picture technique and human body motion analysis are proposed to accomplish the interpretation tasks. The interpretation makes use of the spatial and temporal features together with the scenario representation. The results obtained are encouraging and further analysis seems fruitful.

A UML Documentation for an Elevator System

Local Expertise at an Emergency Call Centre

Some important research has been undertaken in recent years on knowledge management within the CSCW community, drawing attention to the inherently social properties of knowledge and how it is shared. Much of this work has demonstrated the complex and sophisticated needs of so-called knowledge workers, and the requirement for better understandings of knowledge sharing processes. The example we p...

Real-Time Destination-Call Elevator Group Control on Embedded Microcontrollers

We introduce new elevator group control algorithms that can be implemented to be real-time compliant on embedded microcontrollers. The algorithms operate a group of elevators in a destination call system, i. e., passengers specify the destination floor instead of the travel direction only. The aim is to achieve small waiting and travel times for the passengers. We provide evidence, using simula...